Section: New Software and Platforms

RAGlib

Functional Description

RAGLib is a Maple library for solving over the reals polynomial systems and computing sample points in semi-algebraic sets.

• Contact: Mohab Safey El Din

• URL: http://www-polsys.lip6.fr/~safey/RAGLib